/* add.c
 *	Simple program to test whether the systemcall interface works.
 *	
 *	Just do a add syscall that adds two values and returns the result.
 *
 */

#include "syscall.h"

int
main()
{
  int result;
  SpaceId exec;
//int a = 111111 +1;
//int b = 1+2;
  
  result = Add(42, 23);
  exec = Exec("print");
  Print("test: Exec out!\n");

  exec = Exec("print");
  Print("test2: Exec out!\n");

//  Halt();
  /* not reached */
}
